81. Mathematical thinking and writing :a transition to abstract mathematics
پدیدآورنده : Maddox, Randall B.
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
M34
2002
82. Model theory and algebraic geometry: An introduction to E. Hrushovski's proof of the geometric mordell - lang conjecture
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Model theory (Mathematical logic),Algebraic geometry
رده :
QA
,
3
,.
L28
,
NO
.
1696
,
1999
83. Modelling Computing Systems :
پدیدآورنده : by Faron Moller, Georg Struth.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity.,Computer science.,Logic design.,Computational complexity.,Computer science.,Logic design.
رده :
QA76
.
63
84. Modern Buddhist cultures -- The cultural practices of Buddhist modernity -- Shanghai Buddhism -- Vegetarian identities --
پدیدآورنده : Francesca Tarocco.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
85. Modern Logic A Survey:
پدیدآورنده : Agazzi, E.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
BC38
.
A339
2013
86. Modern Logic A Survey:
پدیدآورنده : Agazzi, E.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
87. [Omega]-Bibliography of Mathematical Logic :
پدیدآورنده : edited by Gert H. Müller, Jane E. Kister, Dirk Dalen, Anne S. Troelstra.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.
88. ]Omega[-bibliography of mathematical logic
پدیدآورنده : edited by Gert H. Muller; in coll. with Wolfgan Lenski
کتابخانه: (طهران)
موضوع : Bibliography ، Logic, Symbolic and mathematical
رده :
Z
6654
.
M26047
89. Outline of mathematical logic :
پدیدآورنده : Andrzej Grzegorczyk
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA9
.
A537
2013
90. Principles of intuitionism :
پدیدآورنده : A. S. Troelstra.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Intuition.,Logic, Symbolic and mathematical.
91. Principles of intuitionism
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: (طهران)
موضوع : ، Intuition,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
95
92. Principles of intuitionism
پدیدآورنده : Trolstra, Anne Sjerp
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Intuition,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
95
93. Problems and proofs in numbers and algebra
پدیدآورنده : /Richard S. Millman, Peter J. Shiue, Eric Brendan Kahn.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Algebra,Mathematical logic., Number theory.
رده :
QA152
.
P7M5
2015
94. Proceedings of the Logic Colloquium :
پدیدآورنده : G H Müller
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses.,Logique algébrique -- Congrès.,Modèles, Théorie des -- Congrès.
95. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edited by G. H. Muller and M. M. Richter
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
96. Proof analysis :
پدیدآورنده : Sara Negri, Jan von Plato
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Proof theory
رده :
QA9
.
54
.
N438
2011
97. Proof analysis
پدیدآورنده : / Sara Negri, Jan von Plato
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Proof theory
رده :
E-BOOK
98. Reading, writing, and proving :
پدیدآورنده : Ulrich Daepp, Pamela Gorkin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- Study and teaching (Higher)-- United States.,Technical writing-- Study and teaching (Higher)-- United States.,Mathematics-- Study and teaching (Higher),Technical writing-- Study and teaching (Higher),United States., 7
رده :
QA13
.
D34
2011
99. Renormalized Quantum Field Theory
پدیدآورنده : by O. I. Zavialov.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Functional analysis.,Mathematics.,Quantum theory.
رده :
QC175
.
45
B965
1990
100. Resources for teaching discrete mathematics :
پدیدآورنده : edited by Brian Hopkins
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics-- Study and teaching (Higher)-- United States,Mathematics-- Study and teaching (Higher)-- United States
رده :
QA13
.
R4768
2009
